11

Verification of parallel programs

Year:
1995
Language:
english
File:
PDF, 811 KB
english, 1995